Issue1428c.agda:26,10-15
Not in scope:
  FIXME at Issue1428c.agda:26,10-15
when scope checking FIXME
